Simulasi Lampu Lalu Lintas Simpang Tiga Balikpapan Permai berbasis PLC OMRON CP1E-N30SDR-A

Project Proposal Student : Lalu Luka

UPPAAL-Tiga: Time for Playing Games!

In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototype presented at that time has now matured to a fully integrated tool with dramatic improvements both in terms of performance and the availability of the extended input language of Uppaal-4.0. The new tool can output stra...

Aplikasi belajar membaca iqro' berbasis mobile

Abstrak Kemajuan Ilmu Pengetahuan dan Teknologi (IPTEK) hendaklah diikuti dengan Iman dan Takwa (IMTAK), sangat disayangkan, jika masih banyak masyarakat yang belum bisa membaca huruf hijaiyah yang merupakan dasar dari Al-Qur’an. Masyarakat sekarang telah disibukkan dengan berbagai aktipitas sehingga mereka sulit untuk belajar dengan Ustad atau Ustadza mengenai huruf hijaiyah. Untuk mengatasi m...

Ujian Online Mahasiswa Ilmu Komputer Berbasis Smartphone

Information technology influence higher education in various aspects, including education sector. This article discusses how smartphones facilitate online examination in computer science and information systems students. The research objective to be achieved by the researchers through the research, are as follows: 1) Utilizing smartphone as a media test online exam, 2) How to make use of social...

MOBY/PLC - Graphical Development of PLC-Automata

Moby/plc is a graphical design tool for PLC-Automata, a special class of hierarchical real-time automata suitable for the description of distributed real-time systems that are implementable on a widely used hardware platform, so-called Programmable Logic Controllers (PLCs). In this paper we sketch the modelling language in use and some features of Moby/plc, like several validation methods and c...